Shmuel Katz: որոնել Z-Library կայքում

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024 Դրամահավաքի մասին

Գիտելիքների և մշակույթի ազատ հասանելիություն:

Նվիրատվություններ Սեպտեմբերի 15 2024 – Հոկտեմբերի 1 2024

Z-Library-ը աշխարհի ամենամեծ առցանց գրադարաններից մեկն է, որտեղ տեղակայված ենավելի քան 17,000,000 գրքեր և 84,837,000 հոդվածներ: Մենք ձգտում ենք գրականությունը մատչելի դարձնել բոլորի համար. Այսօր (Սեպտեմբերի 15 2024) մենք բացում ենք նվիրատվությունների լրացուցիչ հավաք՝ նախագիծը աջակցելու և զարգացնելու համար.

Նաև, ԱՆՍԱՀՄԱՆԱՓԱԿ ներբեռնումներ (նվիրատվության օրվանից 31 օր սկսած) հասանելի կլինեն բոլոր օգտվողներին, ովքեր նվիրատվություն են կատարում գումարների հավաքման ընթացքում՝ մինչևՀոկտեմբերի 1 2024.

Դրամահավաքի մասինՄանրամասն

Գրքեր (15)
Ամենահայտնի
Ցուցակ
- Ցուցակ
- Աղյուսակ

1

Lone Wolf: A Biography of Vladimir (Ze’ev) Jabotinsky

Lone Wolf: A Biography of Vladimir (Ze’ev) Jabotinsky

Լեզու:

english

Ֆայլ:

PDF, 174.33 MB

0 / 0

english

2

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.72 MB

0 / 0

english, 2009

3

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Hardware and Software, Verification and Testing: First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Shady Copty, Itai Jaeger, Yoav Katz (auth.), Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)

Տարի:

2006

Լեզու:

english

Ֆայլ:

PDF, 5.36 MB

0 / 0

english, 2006

4

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Springer-Verlag Berlin Heidelberg

Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz (auth.), Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 13.70 MB

0 / 0

english, 2010

5

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Shmuel Katz, Mira Mezini, Jörg Kienzle, (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 14.50 MB

0 / 4.5

english, 2010

6

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Transactions on Aspect-Oriented Software Development VII: A Common Case Study for Aspect-Oriented Modeling

Springer-Verlag Berlin Heidelberg

Jörg Kienzle, Nicolas Guelfi, Sadaf Mustafiz (auth.), Shmuel Katz, Mira Mezini, Jörg Kienzle (eds.)

Տարի:

2010

Լեզու:

english

Ֆայլ:

PDF, 13.80 MB

0 / 0

english, 2010

7

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 5.63 MB

0 / 0

english, 2008

8

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 6.34 MB

0 / 5.0

english, 2009

9

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Languages: From Formal to Natural: Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday

Springer-Verlag Berlin Heidelberg

Krzysztof R. Apt, Frank S. de Boer, Ernst-Rüdiger Olderog (auth.), Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 3.63 MB

0 / 0

english, 2009

10

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 4.35 MB

0 / 0

english, 2009

11

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Transactions on Aspect-Oriented Software Development VI: Special Issue on Aspects and Model-Driven Engineering

Springer-Verlag Berlin Heidelberg

Lidia Fuentes, Pablo Sánchez (auth.), Shmuel Katz, Harold Ossher, Robert France, Jean-Marc Jézéquel (eds.)

Տարի:

2009

Լեզու:

english

Ֆայլ:

PDF, 4.43 MB

0 / 0

english, 2009

12

Transactions on Aspect-Oriented Software Development VIII

Transactions on Aspect-Oriented Software Development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 2.96 MB

0 / 0

english, 2011

13

Transactions on aspect-oriented software development VIII

Transactions on aspect-oriented software development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 2.98 MB

0 / 0

english, 2011

14

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

FM 2008: Formal Methods: 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Shmuel Katz (auth.), Jorge Cuellar, Tom Maibaum, Kaisa Sere (eds.)

Տարի:

2008

Լեզու:

english

Ֆայլ:

PDF, 7.27 MB

0 / 0

english, 2008

15

Transactions on Aspect-Oriented Software Development VIII

Transactions on Aspect-Oriented Software Development VIII

Springer-Verlag Berlin Heidelberg

Suman Roychoudhury, Jeff Gray, Frédéric Jouault (auth.), Shmuel Katz, Mira Mezini, Christine Schwanninger, Wouter Joosen (eds.)

Տարի:

2011

Լեզու:

english

Ֆայլ:

PDF, 3.37 MB

0 / 5.0

english, 2011